<?php  
	ob_start();
	session_start();
include_once '../pushing.php';

if ($pushTime == true) {
	if ($_SESSION['UserId'] != 3)
		header('Location: push.php');
}
	
	$_SESSION = array();
    session_destroy();
 	header('Location: login.php'); 
 	ob_flush();
?>